Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·1h
🔧Scheme Macros
Semantic Dictionary Encoding
falvotech.com·14h·
Discuss: Hacker News
🗂️Type Indexing
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·11h·
Discuss: Hacker News
🔗Lexical Scoping
Algebraic Types are not Scary
blog.aiono.dev·19h·
Discuss: Lobsters, Hacker News, r/programming
✅Type Checking
The pirate-based logic of Rust shared references
ais523.me.uk·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Rust Borrowing
CHMLib 0.40a Integer Overflow in _unmarshal_int32 / _unmarshal_uint32 During CHM Header Parsing
seclists.org·2h
🔧Error Recovery
Balance between refactoring and inheritance in your code
github.com·17h·
Discuss: Hacker News
🧪Compiler Testing
Typescript : Generic Data Fetch
dev.to·1h·
Discuss: DEV
🔧API Design
StringWa.rs on GPUs: Databases & Bioinformatics 🦠
ashvardanian.com·10h·
Discuss: Hacker News, r/programming
🚀Tokenizer Performance
LLM-Based Instance-Driven Heuristic Bias In the Context of a Biased Random Key Genetic Algorithm
arxiv.org·1d
🔍ML Language
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·5d·
Discuss: Hacker News
🎭Racket Modules
Rustlantis: Randomized Differential Testing of the Rust Compiler
plf.inf.ethz.ch·8h·
Discuss: Hacker News
🏗️Cranelift
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·20h
🪢Rope Data Structures
Hastings Middle School releases 'A' Honor Rolls for fourth quarter
hastingsstargazette.com·12h
🌱Minimal ML
What Does -> Mean in Python Function Definitions?
realpython.com·15h
🌊Gradual Typing
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·16h·
Discuss: DEV
🏗️Cranelift
original ↗
blog.djnavarro.net·2d
📝Rope Editors
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·1d·
Discuss: Lobsters, Hacker News
🌱Minimal ML
What is Algebraic about Algebraic Effects?
interjectedfuture.com·13h
💫Effect Systems
The Capability-Tractability Tradeoff (2023)
buttondown.com·3d·
Discuss: Hacker News
⚡Partial Evaluation